Software repository - PDFSEARCH.IO - Document Search Engine

Software repository
Results: 773

#	Item
171	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
172	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
173	CRAN Repository Policy Version $Revision: 3298 $ CRAN Repository Maintainers Preamble Add to Reading List Source URL: nbcgib.uesc.br Language: English - Date: 2015-05-27 11:47:17 R Debian Package Dpkg Software repository R Commander Software Computing Computer programming
174	Concurrency Oriented Programming in Termite Scheme Guillaume Germain Marc Feeley Stefan Monnier Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:22 Ericsson Erlang Gambit Inter-process communication Actor model Continuation Scheme Message passing Daemon Computing Software engineering Computer programming
175	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
176	Creating R Packages, Using CRAN, R-Forge, And Local R Archive Networks And Subversion (SVN) Repositories Spencer Graves PDF Solutions Add to Reading List Source URL: cran-r.c3sl.ufpr.br Language: English - Date: 2009-05-04 09:58:56 Apache Subversion Debian Software repository RExcel Software Free software R
177	§1 LESSONS FROM CHEZWEB INTRODUCTION Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:24:34 Transformation languages Procedural programming languages Source code Dylan programming language Hygienic macro Scheme programming language Scheme Preprocessor C preprocessor Computing Software engineering Computer programming
178	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoJuly 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:06 Compiler optimizations Lisp programming language Parallel computing Programming language implementation Automatic parallelization Compiler Gerald Jay Sussman Very long instruction word Hal Abelson Computing Software engineering Computer programming
179	Oaklisp: an Object-Oriented Scheme with First Class Types Kevin J. l,ang and llarak A. Peaflmutter Department of Computer Science Carnegie-Mellon University Pittsburgh, PAseveral implications that are not immediat Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:27 Lisp programming language Data types Lisp T Cons Mixin Scheme Eval List Software engineering Computing Computer programming
180	Appeared in PEPM’93 Partial Evaluation of General Parsers – Slightly Revised – October 18, 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:05 Compiler construction Computer programming Canonical LR parser LR parser Functional programming Lookahead Compiler-compiler Memoization Stack Parsing Computing Software engineering

UPDATE